Works by Chuaqui, R. (exact spelling)

5 found
Order:
  1.  41
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  9
    Mathematical Logic in Latin America Proceedings of the Iv Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  6
    Mathematical Logic: Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. da Costa & R. Chuaqui - 1978
  4.  45
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
  5.  5
    Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.